Reversal complexity revisited

نویسندگان

  • André Hernich
  • Nicole Schweikardt
چکیده

We study a generalized version of reversal bounded Turing machines where, apart from several tapes on which the number of head reversals is bounded by r(n), there are several further tapes on which head reversals remain unrestricted, but size is bounded by s(n) (where n denotes the input length). Recently [9,10], such machines were introduced as a formalization of a computation model that restricts random access to external memory and internal memory space. Here, each of the tapes with a restriction on the head reversals corresponds to an external memory device, and the tapes of restricted size model internal memory. We use ST(r(n), s(n), O(1)) to denote the class of all problems that can be solved by deterministic Turing machines that comply to the above resource bounds. Similarly, NST(· · · ) and RST(· · · ), respectively, are used for the corresponding nondeterministic and randomized classes. While previous papers focused on lower bounds for particular problems, including sorting, the set equality problem, and several query evaluation problems, the present paper addresses the relations between the (R,N)ST(· · · )-classes and classical complexity classes and investigates the structural complexity of the (R,N)ST(· · · )-classes. Our main results are (1) a trade-off between internal memory space and external memory head reversals, (2) correspondences between the (R,N)ST(· · · ) classes and “classical” time-bounded, space-bounded, reversalbounded, and circuit complexity classes, and (3) hierarchies of (R)ST(· · · )-classes in terms of increasing numbers of head reversals on external memory tapes.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Sweep Line Algorithm for Convex Hull Revisited

Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...

متن کامل

Iranian EFL Learners’ Motivation Construction: Integrative Motivation Revisited

Although Gardner and his associates’ work was most influential in the field of L2 motivation, from the early 1990s onwards, their work has been criticized for several reasons. Some researchers claimed that integrative and instrumental orientations were no longer able to convey the complexity of the L2 motivation construct. To examine this complexity, the present study attempted to investigate t...

متن کامل

اثر بخشی آموزش فنون وارونه سازی عادت در کاهش شدت ، فراوانی ، پیچیدگی و تداخل سندرم تورت و تیک های حرکتی

Background & Aims: Tic disorders are a group of conditions with onset in the developmental period. The disorders produce impairments of functioning. The goal of this study was to investigate the effectiveness of habit reversal techniques training(HRT) on reduction of intensity, frequency, complexity and interference of tourette syndrome and motor tics. Materials & Methods: This study wa...

متن کامل

Finkel , Alain and Sangnier , Arnaud Reversal - bounded counter machines revisited Research Report LSV - 08 - 33 December 2008

We extend the class of reversal-bounded counter machines by authorizing a finite number of alternations between increasing and decreasing mode over a given bound. We prove that extended reversal-bounded counter machines also have effective semi-linear reachability sets. We also prove that the property of being reversal-bounded is undecidable in general even when we fix the bound, whereas this p...

متن کامل

Reversal-Bounded Counter Machines Revisited

We extend the class of reversal-bounded counter machines by authorizing a finite number of alternations between increasing and decreasing mode over a given bound. We prove that extended reversal-bounded counter machines also have effective semi-linear reachability sets. We also prove that the property of being reversal-bounded is undecidable in general even when we fix the bound, whereas this p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 401  شماره 

صفحات  -

تاریخ انتشار 2008